(287/287) 1819 - Sidekick: incoherent option sidekick.showFilter

This is SideKick 1.7.

The option `sidekick.showFilter` does not have a default in `SideKick.props` and the Java code is incoherent about the hard-wired default: sometimes `true` sometimes absent and thus `false`.

This leads to the odd effect that a fresh installation of jEdit and the plugin has a visible filter box that does not work. After opening the Plugin options and making a change to save the default `true` it becomes active.

The simplest way to sort this out is probably to add `sidekick.showFilter=true` to `SideKick.props` and remove any special hard-wired defaults from the Java source.

Comments